tuple calculus การใช้

In fact, in many definitions of the tuple calculus this is how the semantics of the quantifiers is defined, which makes all queries by definition domain independent.
For example, in the relational model, the structural part is based on a modified concept of the mathematical relation; the integrity part is expressed in first-order logic and the manipulation part is expressed using the relational algebra, tuple calculus and domain calculus.
Codd's solution to the necessary looping was a set-oriented language, a suggestion that would later spawn the ubiquitous SQL . Using a branch of mathematics known as tuple calculus, he demonstrated that such a system could support all the operations of normal databases ( inserting, updating etc . ) as well as providing a simple system for finding and returning " sets " of data in a single operation.